Ruptures urbaines : une pragmatique spatio-temporelle

Composants objets fiables : une approche pragmatique

Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-or...

Project-team Vista Vision Spatio-temporelle Et Apprentissage Rennes

Adaptation dans les systèmes d'information spatio-temporelle interactifs

RÉSUMÉ. Cet article présente GenGHIS, un atelier logiciel pour la conception et la réalisation de systèmes d’information spatio-temporelle dédiés au suivi historique des risques naturels (ou SIRN). GenGHIS est un SIRN générique et modulaire. Il permet aux concepteurs de réaliser des applications pour l’analyse et la diffusion d’informations relatives aux risques naturels en spécifiant les modèl...

Extension du formalisme des flux opérationnels par une algèbre temporelle

Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed. Qualitative interval algebras can model processes using finer temporal relations, but they cannot reproduce all workflow patterns. This paper defines a common groun...

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...